Predicate transformer semantics - PDFSEARCH.IO - Document Search Engine

Predicate transformer semantics
Results: 104

#	Item
51	ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
52	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-03 23:33:32 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
53	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
54	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, and Dawn Song Carnegie Mell Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Software testing Predicate transformer semantics Program logic Fuzz testing X Window System Function KeY Errors and residuals in statistics Network Time Protocol Statistics Software Mathematics
55	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Predicate transformer semantics Program logic KeY IP Function Algorithm NP Symbolic execution Communications protocol Theoretical computer science Mathematics Applied mathematics
56	Inference of progress properties for (multi party) sessions Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 12:54:52 Quasigroup Applied mathematics Predicate transformer semantics Mathematics Differential equation FO
57	INVARIANT RELATIONS: A CONCEPT FOR ANALYZING WHILE LOOPS Ali Mili, NJIT NII, Tokyo, Japan December 20, 2011 Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2012-02-02 20:36:57 Formal methods Control flow Program logic Loop invariant Invariant Predicate transformer semantics First-order logic Logic Software engineering Computing Mathematics
58	Replayer: Automatic Protocol Replay by Binary Analysis James Newsome, David Brumley, Jason Franklin, Dawn Song∗ Carnegie Mellon University Pittsburgh, PA, USA {jnewsome, Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Predicate transformer semantics Program logic KeY IP NP Symbolic execution PP Algorithm Function Theoretical computer science Mathematics Applied mathematics
59	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
60	AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: security.ece.cmu.edu Language: English - Date: 2011-05-02 14:34:52 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics